Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
461	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-02-25 06:27:38 Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic Logic Model theory
462	RATIONAL HOMOTOPY AUTOMORPHISMS OF E2 -OPERADS ¨ AND THE GROTHENDIECK-TEICHMULLER GROUP BENOIT FRESSE Add to Reading List Source URL: math.univ-lille1.fr Language: English - Date: 2014-03-02 01:51:56 Algebra Category theory Algebraic topology E∞-operad Operad theory Model category Homotopy group Rational homotopy theory Hopf algebra Homotopy theory Topology Abstract algebra
463	LSE Research Online Article (refereed) Gaussian estimation of parametric spectral density with unknown pole Liudas Giraitis; Javier Hidalgo and Peter M. Robinson Add to Reading List Source URL: eprints.lse.ac.uk Language: English - Date: 2010-10-01 04:41:30 Algebra Mathematics Spectral theory of ordinary differential equations Symbol Abstract algebra Parametric model Statistical theory
464	ARTICLE IN PRESS Journal of Economic Theory ] (]]]]) ]]]–]]] On the topological social choice model Shmuel Weinberger Add to Reading List Source URL: math.uchicago.edu Language: English - Date: 2004-01-04 17:41:47 Algebraic topology Homotopy Eilenberg–MacLane space Hurewicz theorem Fundamental group Contractible space Cohomology Out Degree of a continuous mapping Topology Homotopy theory Abstract algebra
465	Infinitesimal Methods in Mathematical Economics Robert M. Anderson1 Department of Economics and Department of Mathematics University of California at Berkeley Add to Reading List Source URL: eml.berkeley.edu Language: English - Date: 2008-01-20 15:53:24 Infinity Model theory Mathematical analysis Real closed field Ultraproduct Peter A. Loeb Infinitesimal Robert M. Anderson Gérard Debreu Mathematics Non-standard analysis Abstract algebra
466	BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory. Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:09:18 Model theory Forcing Boolean algebra Algebraic structures Algebraic logic Boolean-valued model Symbol Interpretation First-order logic Mathematical logic Mathematics Logic
467	Preventing SSL Traffic Analysis with Realistic Cover Traffic (extended abstract) ∗ 1 Add to Reading List Source URL: www.sigsac.org Language: English - Date: 2009-10-16 09:07:36 Queueing theory Traffic generation model Secure Shell Traffic analysis Measuring network throughput Transmission Control Protocol Management Information technology management Traffic classification Network performance Teletraffic Analysis
468	Space-efficient Local Computation Algorithms∗ Noga Alon† Ronitt Rubinfeld‡ Abstract Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2011-10-02 19:00:10 Network theory Analysis of algorithms Probabilistic complexity theory Randomized algorithm Graph coloring Decision tree model Probabilistic method Algorithm Shortest path problem Theoretical computer science Mathematics Applied mathematics
469	arXiv:0906.2364v1 [math.AG] 12 Jun[removed]RATIONALLY CONNECTED VARIETIES OVER THE MAXIMALLY UNRAMIFIED EXTENSION OF P-ADIC FIELDS BRADLEY DUESLER AND AMANDA KNECHT Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-12 11:49:34 Field theory Scheme theory Model theory General topology Zariski topology Field Ultraproduct Quasi-algebraically closed field Hilbert scheme Abstract algebra Algebraic geometry Algebra
470	From: Proceedings of the First International Conference on Multiagent Systems. Copyright © 1995, AAAI (www.aaai.org). All rights reserved. Knowledge and Behavior in Multiagent (extended abstract) Systems Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 11:24:07 Scientific modeling Law of agency Epistemology Science Business Artificial intelligence Multi-agent systems Agent-based model Complex systems theory

UPDATE